Challenges in Software Aspects of Aerospace Systems
نویسندگان
چکیده
For many years, NASA Langley Research Center has cooperated with the Federal Aviation Administration (FAA) in research about software engineering methods for aerospace applications. Recent research has focused on software aspects of the FAA’s certification process. In this paper, the results of the Streamlining Software Aspects of Certification (SSAC) program are examined to provide insight into current challenges in the aerospace industry in developing and assuring complex, software-based systems. We conclude that at the root of many of the current challenges lies the challenge of accurately communicating requirements between groups of people.
منابع مشابه
International responsibility of ICAO in utilization of Satellite Navigation Systems
Development of new technologies and its growing process in the last years of the twentieth century, leads to the use of satellites in navigation. Although the technical aspects of this project has significantly improved, legal and political aspects of it, have been subject of different views of states and of international organizations related to aviation industry and though have not led to a f...
متن کاملPnm-25: Nursing Information Systems: Issues and Challenges
Background: The nursing process is often considered as core of the nursing care delivery and guides the care documentation. Currently, with rapid advance in Information and Communication Technology (ICT) this process can be supported electronically. Applying information systems improves care health processes. Nursing Information Systems (NISs) deal with nursing process. Materials and Methods: E...
متن کاملTowards Automotive Software Health Management
Integrated Vehicle Health Management (IVHM) covers frameworks for detecting, diagnosing, and mitigating faults in hardware and structures in aerospace systems. Software Health Management (SHM) applies the goals of IVHM to software-intensive systems to detect software faults in real-time and to mitigate them. In this position paper, we describe the needs and challenges of SHM in automotive systems.
متن کاملFunction Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification
[Abstract] The complex aerospace systems of the future will challenge the capabilities of present-day software engineering, which is reaching cost and complexity limits of development technologies evolved in the first fifty years of computing. A new science for the next fifty years is required to transform software engineering into a computational discipline capable of fast and dependable softw...
متن کاملHybrid Theorem Proving of Aerospace Systems: Applications and Challenges1
Complex software systems are becoming increasingly prevalent in aerospace applications, in particular to accomplish critical tasks. Ensuring the safety of these systems is crucial, while they can have subtly different behavior under slight variations in operating conditions. In this paper we advocate the use of formal verification techniques and in particular theorem proving for hybrid software...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001